| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Advanced Automata Theory | Fach-/Modulprüfung | 6 | 531708 | ||
| Algorithmic Foundations of Datascience | Fach-/Modulprüfung | 6 | 531286 | Do 14.08.2025 09:00-11:00 Roter Hörsaal AM (Ro) (1420|002) TEMP2 (1515|002) Do 11.09.2025 12:00-14:00 B201 (3011|201) Roter Hörsaal AM (Ro) (1420|002) | |
| Vorlesung | 525927 | Di 10:30-12:00 AH II (2350|111) (×13) Fr 10:30-12:00 AH II (2350|111) (×13) | |||
| Übung | 525913 | Mi 14:30-16:00 AH I (2350|028) (×13) | |||
| Algorithmische Modelltheorie I | Fach-/Modulprüfung | 8 | 528281 | ||
| Algorithmische Spieltheorie | Fach-/Modulprüfung | 6 | 531318 | ||
| Compilerbau | Fach-/Modulprüfung | 6 | 534496 | Di 29.07.2025 12:00-14:00 Großer Hörsaal AM (1420|210) H01 (1385|101) H02 (1385|102) Di 02.09.2025 09:00-11:00 Großer Hörsaal AM (1420|210) H02 (1385|102) Roter Hörsaal AM (Ro) (1420|002) | |
| Vorlesung | 533716 | Di 12:30-14:00 AH III (2350|314.1) (×13) Mi 14:30-16:00 AH III (2350|314.1) (×13) | |||
| Übung | 533717 | Fr 12:30-14:00 AH II (2350|111) (×13) | |||
| Fixpoints and Induction in Logic and Computer Science | Fach-/Modulprüfung | 6 | 529313 | ||
| Vorlesung | 526041 | Mo 10:30-12:00 5056 (2356|056) (×12) Di 08:30-10:00 5056 (2356|056) (×14) | |||
| Übung | 526841 | Fr 12:30-14:00 5052 (2356|052) (×12) | |||
| Formale Grundlagen von UML | Fach-/Modulprüfung | 6 | 531334 | ||
| Foundations of Functional Programming | Fach-/Modulprüfung | 6 | 530040 | ||
| Foundations of Logic Programming | Fach-/Modulprüfung | 6 | 531301 | Mi 06.08.2025 09:00-11:00 Großer Hörsaal AM (1420|210) H01 (1385|101) H02 (1385|102) Otto Fuchs-Hörsaal (H03) (1385|003) Mo 01.09.2025 09:00-11:00 Großer Hörsaal AM (1420|210) H02 (1385|102) | |
| Übung | 532443 | Do 10:30-12:00 AH IV (2354|030) (×11) | |||
| Vorlesung | 532442 | Do 16:30-18:00 AH II (2350|111) (×11) Fr 14:30-16:00 AH III (2350|314.1) (×13) | |||
| Graphzerlegungen und algorithmische Anwendungen | Fach-/Modulprüfung | 6 | 531837 | ||
| Höhere Algorithmik | Fach-/Modulprüfung | 6 | 529871 | ||
| Infinite Computations and Games | Fach-/Modulprüfung | 6 | 528510 | ||
| Introduction to Quantum Computing | Fach-/Modulprüfung | 6 | 529571 | ||
| Vorlesung | 526173 | Mo 16:30-18:00 TEMP1 (1515|001) (×13) Fr 16:30-18:00 Otto Fuchs-Hörsaal (H03) (1385|003) (×13) | |||
| Übung | 526126 | Di 10:30-12:00 TEMP2 (1515|002) (×12) | |||
| Logics for Reasoning about Uncertainty | Fach-/Modulprüfung | 4 | 528253 | ||
| Machine Learning with Graphs: Foundations and Applications | Fach-/Modulprüfung | 6 | 530455 | ||
| Mathematische Heuristiken in der diskreten Optimierung | Fach-/Modulprüfung | 9 | 533315 | ||
| Vorlesung | 533312 | Di 10:30-12:00 t.b.d. (×13) Do 10:15-12:15 9U10 (2359|U112) (×11) Do 10:30-12:00 ST 8 (1665|008) (×11) | |||
| Übung | 533314 | Do 08:30-10:00 5056 (2356|056) (×11) | |||
| Model Checking | Fach-/Modulprüfung | 6 | 531296 | ||
| Modeling and Verification of Probabilistic Systems | Fach-/Modulprüfung | 6 | 528987 | Di 05.08.2025 09:00-11:00 H05 (1385|105) Di 09.09.2025 09:00-11:00 H05 (1385|105) | |
| Vorlesung | 533817 | Di 10:30-12:00 UMIC_025 (2165|025) (×13) Mi 08:30-10:00 5056 (2356|056) (×14) | |||
| Übung | 533818 | Do 14:30-16:00 5056 (2356|056) (×11) | |||
| Modellierung und Analyse hybrider Systeme | Fach-/Modulprüfung | 6 | 531297 | ||
| Near-term Quantum Computation | Fach-/Modulprüfung | 6 | 529755 | ||
| Vorlesung | 527606 | Fr 10:30-12:00 R 140 (1080|140) (×13) | |||
| Übung | 526285 | Do 16:30-18:00 R 140 (1080|140) (×11) | |||
| Online Algorithmen | Fach-/Modulprüfung | 6 | 528361 | ||
| Optimization and Uncertainty | Fach-/Modulprüfung | 6 | 535020 | Mi 23.07.2025 14:30-16:00 Otto Fuchs-Hörsaal (H03) (1385|003) Mo 25.08.2025 14:30-16:00 H06 (1385|004) | |
| Vorlesung | 535018 | Mo 10:30-12:00 AH I (2350|028) (×13) Di 08:30-10:00 AH III (2350|314.1) (×14) | |||
| Übung | 535019 | Mi 10:30-12:00 SG 512 (1810|512) (×13) | |||
| Probabilistic Programming | Fach-/Modulprüfung | 6 | 528386 | ||
| Provenance Analysis and Semiring Semantics for Logics and Games | Fach-/Modulprüfung | 4 | 531194 | ||
| Quantum Computing | Fach-/Modulprüfung | 4 | 528513 | ||
| Rekursionstheorie | Fach-/Modulprüfung | 6 | 528857 | ||
| Semantik und Verifikation von Software | Fach-/Modulprüfung | 6 | 531231 | ||
| Statische Programmanalyse | Fach-/Modulprüfung | 6 | 528184 | ||
| The Graph Isomorphism Problem | Fach-/Modulprüfung | 6 | 529671 | ||
| Theory of Constraint Satisfaction Problems | Fach-/Modulprüfung | 6 | 531216 | ||
| Theory of Distributed and Parallel Systems | Fach-/Modulprüfung | 6 | 528061 | ||
| Theory of Distributed Systems | Fach-/Modulprüfung | 6 | 535016 | Fr 25.07.2025 15:30-17:00 Grüner Hörsaal AM (Gr) (1420|001) Mo 25.08.2025 09:00-10:30 HKW 1 (1132|203) | |
| Vorlesung | 535014 | Mo 08:30-10:00 AH I (2350|028) (×13) Di 10:30-12:00 AH I (2350|028) (×13) | |||
| Übung | 535015 | Do 10:30-12:00 HKW 3 (1132|504) (×11) Fr 10:30-12:00 5052 (2356|052) (×13) Fr 14:30-16:00 5055 (2356|055) (×13) |